Cordeiro, Lucas C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Bounded model checking of C++ programs based on the Qt cross-platform framework

Monteiro, Felipe R., Garcia, Mário A. P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Journal:

Software Testing, Verification and Reliability

Year:

2017

Language:

english

File:

PDF, 2.00 MB

english, 2017

2

Estudos Sobre Habilidades Sociais e Relacionamento Interpessoal

Freitas, Lucas Cordeiro

Journal:

Interação em Psicologia (Qualis/CAPES A2)

Year:

2007

File:

PDF, 23 KB

2007

3

The incorporation of Brazilian propolis into collagen-based dressing films improves dermal burn healing

de Almeida, Enrik Barbosa, Cordeiro Cardoso, Juliana, Karla de Lima, Adriana, de Oliveira, Nívia Lucas, de Pontes-Filho, Nicodemos Teles, Oliveira Lima, Sônia, Leal Souza, Isana Carla, de Albuquerque-

Journal:

Journal of Ethnopharmacology

Year:

2013

Language:

english

File:

PDF, 1.39 MB

english, 2013

4

Using Iron Ore Tailings from Tailing Dams as Road Material

Bastos, Lucas Augusto de Castro, Silva, Gabriela Cordeiro, Mendes, Júlia Castro, Peixoto, Ricardo André Fiorotti

Journal:

Journal of Materials in Civil Engineering

Year:

2016

Language:

english

File:

PDF, 2.73 MB

english, 2016

5

Effects of lidocaine and magnesium sulfate in attenuating hemodynamic response to tracheal intubation: single-center, prospective, double-blind, randomized study

Mendonça, Fabricio Tavares, de Queiroz, Lucas Macedo da Graça Medeiros, Guimarães, Cristina Carvalho Rolim, Xavier, Alexandre Cordeiro Duarte

Journal:

Brazilian Journal of Anesthesiology (English Edition)

Year:

2016

File:

PDF, 638 KB

2016

6

Epidemiological, Physiological, and Molecular Characteristics of a Brazilian Collection of Carbapenem-Resistant Acinetobacter baumannii and Pseudomonas aeruginosa

Dias, Vanessa Cordeiro, Resende, Juliana Alves, Bastos, André Netto, Bastos, Lucas Quinet De Andrade, Bastos, Victor Quinet De Andrade, Bastos, Ricardo Villela, Diniz, Cláudio Galuppo, Silva, Vânia Lú

Journal:

Microbial Drug Resistance

Year:

2017

Language:

english

File:

PDF, 239 KB

english, 2017

7

[IEEE 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Curitiba (2017.11.6-2017.11.10)] 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Planning and Evaluation of UAV Mission Planner for Intralogistics Problems

Cavalcante, Thiago Rodrigo Felix, Bessa, Iury Valente de, Cordeiro, Lucas Carvalho

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

8

Forest fragmentation in an African biodiversity hotspot impacts mixed-species bird flocks

Cordeiro, Norbert J., Borghesio, Luca, Joho, Martin P., Monoski, Teodora J., Mkongewa, Victor J., Dampf, Corinna J.

Journal:

Biological Conservation

Year:

2015

Language:

english

File:

PDF, 1000 KB

english, 2015

9

Phenotypic and genotypic evaluation of beta-lactamases (ESBL and KPC) among enterobacteria isolated from community-acquired monomicrobial urinary tract infections

Dias, Vanessa Cordeiro, da Silva, Vânia Lúcia, Barros, Renata, Bastos, André Netto, de Andrade Bastos, Lucas Quinnet, de Andrade Bastos, Victor Quinnet, Diniz, Cláudio Galuppo

Journal:

Journal of Chemotherapy

Year:

2014

Language:

english

File:

PDF, 117 KB

english, 2014

10

Adipokines, metabolic dysfunction and illness course in bipolar disorder

Mansur, Rodrigo B., Rizzo, Lucas B., Santos, Camila M., Asevedo, Elson, Cunha, Graccielle R., Noto, Mariane N., Pedrini, Mariana, Zeni, Maiara, Cordeiro, Quirino, McIntyre, Roger S., Brietzke, Elisa

Journal:

Journal of Psychiatric Research

Year:

2016

Language:

english

File:

PDF, 298 KB

english, 2016

11

Verification of fixed-point digital controllers using direct and delta forms realizations

Bessa, Iury V., Ismail, Hussama I., Cordeiro, Lucas C., Filho, João E. C.

Journal:

Design Automation for Embedded Systems

Year:

2016

Language:

english

File:

PDF, 1.93 MB

english, 2016

12

Bounded model checking for fixed-point digital filters

Abreu, Renato B., Gadelha, Mikhail Y. R., Cordeiro, Lucas C., de Lima Filho, Eddie B., da Silva, Waldir S.

Journal:

Journal of the Brazilian Computer Society

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

13

Automatic restoration system for power distribution networks based on multi-agent systems

Sampaio, Raimundo F., Melo, Lucas Silveira, Leão, Ruth P.S., Barroso, Giovanni Cordeiro, Bezerra, José Roberto

Journal:

IET Generation Transmission & Distribution

Year:

2017

Language:

english

File:

PDF, 1.42 MB

english, 2017

14

A Power Control and Anticolision Mechanism for RFID Systems

Costa Lucena Filho, Walfredo, Carvalho Cordeiro, Lucas, Sabino da Silva Junior, Waldir, Barbosa Carvalho, Celso

Journal:

IEEE Latin America Transactions

Year:

2017

File:

PDF, 736 KB

2017

15

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - DSSynth: An automated digital controller synthesis tool for physical plants

Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Chaves, Lennon, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Year:

2017

Language:

english

File:

PDF, 317 KB

english, 2017

16

Effect Of Exercise Training On Blood Pressure And Cardiac Morphology In Obese Rats

Lima-Leopoldo, Ana Paula, da Silva, Vitor Loureiro, Cordeiro, Jóctan P., Campos, Dijon H.S., Estevam, Wagner M., Ferreira, Lucas G., Cicogna, Antonio C., LEOPOLDO, ANDRE S.

Journal:

Medicine & Science in Sports & Exercise

Year:

2015

Language:

english

File:

PDF, 231 KB

english, 2015

17

An immunological age index in bipolar disorder: A confirmatory factor analysis of putative immunosenescence markers and associations with clinical characteristics

Rizzo, Lucas B., Swardfager, Walter, Maurya, Pawan Kumar, Graiff, Maiara Zeni, Pedrini, Mariana, Asevedo, Elson, Cassinelli, Ana Cláudia, Bauer, Moisés E., Cordeiro, Quirino, Scott, Jan, Brietzke, Eli

Journal:

International Journal of Methods in Psychiatric Research

Year:

2018

Language:

english

File:

PDF, 356 KB

english, 2018

18

SAE Technical Paper Series [SAE International 24th SAE Brasil International Congress and Display - (SEP. 22, 2015)] SAE Technical Paper Series - Flex Fuel Engine - Influence of Fuel Composition on the CA50 at Maximum Brake Torque Condition

Machado, Guilherme Bastos, de Melo, Tadeu Cavalcante Cordeiro, de Mendonça Soares, Lucas Almeida

Year:

2015

Language:

english

File:

PDF, 983 KB

english, 2015

19

Prospective clinical assessment of tibial tuberosity advancement for the treatment of cranial cruciate ligament rupture in dogs

Barros, Luciano Pereira de, Ribeiro, Laura Raquel Rios, Pereira, Letícia Cordeiro de Pina Camondá, Ferreira, Fernando Lucas Maschio, Conceição, Maria Eduarda Bastos Andrade Moutinho da, Dias, Luis Gus

Journal:

Acta Cirurgica Brasileira

Year:

2018

Language:

english

File:

PDF, 267 KB

english, 2018

20

Governança Corporativa e os determinantes da estrutura de capital: evidências empíricas no Brasil

Silveira, Alexandre Di Miceli da, Perobelli, Fernanda Finotti Cordeiro, Barros, Lucas Ayres Barreira de Campos

Journal:

Revista de Administração Contemporânea

Year:

2008

File:

PDF, 1011 KB

2008

21

Effects of exercise intensity on perceived exertionduring multiple sets of bench press to volitional failure

L. Silva, Vitor, P. Azevedo, Arthur, P. Cordeiro, Joctan, J. Duncan, Michael, M. Cholewa, Mário A. Siqueira-Filho, Jason, E. Zanchi, Nelo, Guimarães-Ferreira, Lucas

Journal:

Journal of Trainology

Year:

2014

Language:

english

File:

PDF, 361 KB

english, 2014

22

Thyroxine, levothyroxine, and thyroxine complexed into cyclodextrin changed animal behavior, oxygen consumption, and photopic electroretinogram of Colossoma macropomum

Santos, Thamiris Pinheiro, Soares, Priscila Rafaela Leão, da Silva, Marília Cordeiro Galvão, da Silva, Stephannie Caroline Barros Lucas, de Andrade, André Lucas Correa, dos Santos, Amanda Rodrigues, d

Journal:

Fish Physiology and Biochemistry

Year:

2019

Language:

english

File:

PDF, 386 KB

english, 2019

23

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

R. Gadelha, Mikhail, Steffinlongo, Enrico, C. Cordeiro, Lucas, Fischer, Bernd, Nicole, Denis

Year:

2019

Language:

english

File:

PDF, 103 KB

english, 2019

24

Automated formal verification of stand-alone solar photovoltaic systems

Trindade, Alessandro, Cordeiro, Lucas

Journal:

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

25

Automated formal synthesis of provably safe digital controllers for continuous plants

Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Journal:

Acta Informatica

Year:

2019

File:

PDF, 632 KB

2019

26

ProposiÃ§Ãµes acerca do Ensino de Empreendedorismo nas InstituiÃ§Ãµes de Ensino Superior Brasileiras: uma RevisÃ£o BibliogrÃ¡fica

Almeida, Lucas Rodrigo Santos de, Cordeiro, EugÃªnia De Paula BenÃcio, Silva, Josebede AngÃ©lica Guilherme da

Journal:

Revista de Ciências da Administração

Year:

2019

File:

PDF, 798 KB

2019

27

Arsenic in groundwater in ParaÃba do Sul river, Brazil: sources, hydrogeochemistry, and correlation with redox parameters

Meneguelli-Souza, Annaliza Carvalho, Pestana, InÃ¡cio Abreu, Azevedo, Lucas Silva, de Almeida, Marcelo Gomes, Alves, Maria da GlÃ³ria, Oliveira, Douglas Felipe Cordeiro, Dupim, MaurÃcio Oliveira, Gon

Journal:

Environmental Earth Sciences

Year:

2020

File:

PDF, 1.37 MB

2020

28

Modified R5-R8 thoracic sympathectomy for severe compensatory hyperhidrosis: How to Do It

Vasconcelos, CÃ©sar F.M., Aguiar, Wolfgang Schmidt, Cordeiro, Gabriel Guerra, Silveira, Kalina Cavalcanti, Moreira, Rodrigo Santiago, Lisboa, David Lucas, Ferraz, Ãlvaro A.B.

Journal:

The Annals of Thoracic Surgery

Year:

2020

File:

PDF, 4.98 MB

2020

29

Films from cashew byproducts: cashew gum and bacterial cellulose from cashew apple juice

Silva, Sarah Maria Frota, Ribeiro, HÃ¡lisson Lucas, Mattos, Adriano Lincoln Albuquerque, Borges, Maria de FÃ¡tima, Rosa, Morsyleide de Freitas, de Azeredo, Henriette Monteiro Cordeiro

Journal:

Journal of Food Science and Technology

Year:

2020

File:

PDF, 1.90 MB

2020

30

Bicontinuous microemulsions containing Melaleuca alternifolia essential oil as a therapeutic agent for cutaneous wound healing

de Assis, Karoll Moangella Andrade, da Silva Leite, Joandra MaÃsa, de Melo, Demis Ferreira, Borges, Joyce Cordeiro, Santana, Lucas Matheus Barreto, dos Reis, Malu Maria Lucas, Moreira, Vandiara Marti

Journal:

Drug Delivery and Translational Research

Year:

2020

File:

PDF, 4.92 MB

2020

31

Too many species: morphometrics, molecular phylogenetics and genome structure of a Brazilian species complex in Epidendrum (Laeliinae; Orchidaceae) reveal fewer species than previously thought

Pessoa, Edlley M, Cordeiro, Joel M P, Felix, Leonardo P, Almeida, Erton M, Costa, Lucas, Nepomuceno, Ãlvaro, Souza, Gustavo, Chase, Mark W, Alves, Marccus, Van Den Berg, CÃ¡ssio

Journal:

Botanical Journal of the Linnean Society

Year:

2020

File:

PDF, 1.70 MB

2020

32

A study of deep learning approaches for classification and detection chromosomes in metaphase images

Andrade, Maria F. S., Dias, Lucas V., Macario, Valmir, Lima, Fabiana F., Hwang, Suy F., Silva, JÃºlio C. G., Cordeiro, Filipe R.

Journal:

Machine Vision and Applications

Year:

2020

File:

PDF, 3.73 MB

2020

33

A random forest ranking approach to predict yield in maize with uav-based vegetation spectral indices

Marques Ramos, Ana Paula, Prado Osco, Lucas, Elis Garcia Furuya, Danielle, Nunes GonÃ§alves, Wesley, Cordeiro Santana, Dthenifer, Pereira Ribeiro Teodoro, Larissa, Antonio da Silva Junior, Carlos, Fer

Journal:

Computers and Electronics in Agriculture

Year:

2020

File:

PDF, 6.30 MB

2020

34

Biosensors for the detection of respiratory viruses: A review

Ribeiro, Brayan Viana, Cordeiro, TaÃs Aparecida Reis, Oliveira e Freitas, Guilherme Ramos, Ferreira, Lucas Franco, Franco, Diego Leoni

Journal:

Year:

2020

File:

PDF, 1.84 MB

2020

35

CompetÃªncia social e habilidades sociais: Manual teÃ³rico-prÃ¡tico

Freitas, Lucas Cordeiro

Journal:

Estudos e Pesquisas em Psicologia

Year:

2019

File:

PDF, 68 KB

2019

36

Leaf Nitrogen Concentration and Plant Height Prediction for Maize Using UAV-Based Multispectral Imagery and Machine Learning Techniques

Osco, Lucas Prado, Junior, JosÃ© Marcato, Ramos, Ana Paula Marques, Furuya, Danielle Elis Garcia, Santana, Dthenifer Cordeiro, Teodoro, Larissa Pereira Ribeiro, GonÃ§alves, Wesley Nunes, Baio, FÃ¡bio

Journal:

Year:

2020

File:

PDF, 3.84 MB

2020

37

Quantitative and Qualitative CD4 T Cell Immune Responses Related to Adenovirus DNAemia in Hematopoietic Stem Cell Transplantation

Valérie Guérin-El Khourouj, Jean-Hugues Dalle, Béatrice Pédron, Karima Yakouben, Danièle Bensoussan, Débora Jorge Cordeiro, Lucas Peltier, Marie Ouachée-Chardin, André Baruchel, Ghislaine Sterkers

Journal:

Biology of Blood and Marrow Transplantation

Year:

2011

Language:

english

File:

PDF, 489 KB

english, 2011

38

PS2-081 Cytokines production in mice bearing breast tumor treated with pulchellin

Djamile Cordeiro de Matos, Livia Carolina de Abreu Ribeiro, Lucas Souza Ferreira, Marcela Bassi, Marisa Campos Polesi, Lucas Colombo, Iracilda Zeppone Carlos

Journal:

Year:

2011

Language:

english

File:

PDF, 56 KB

english, 2011

39

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 1.71 MB

english, 2012

40

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Year:

2009

Language:

english

File:

PDF, 528 KB

english, 2009

41

Immunological response in mice bearing LM3 breast tumor undergoing Pulchellin treatment

Djamile Cordeiro de Matos, Lívia Carolina Abreu de Ribeiro, Aline Tansini, Lucas Souza Ferreira, Marisa Campos Polesi Placeres, Lucas Luis Colombo, Iracilda Zeppone Carlos

Journal:

BMC Complementary and Alternative Medicine

Year:

2012

Language:

english

File:

PDF, 214 KB

english, 2012

42

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Verifying multi-threaded software using smt-based context-bounded model checking

Cordeiro, Lucas, Fischer, Bernd

Year:

2011

Language:

english

File:

PDF, 472 KB

english, 2011

43

Limitations to Photosynthesis in Leaves of Wheat Plants Infected by Pyricularia oryzae

Debona, Daniel, Rodrigues, Fabrício Ávila, Rios, Jonas Alberto, Martins, Samuel Cordeiro Vitor, Pereira, Lucas Felisberto, DaMatta, Fábio Murilo

Journal:

Year:

2014

Language:

english

File:

PDF, 325 KB

english, 2014

44

Toxicological effects induced by the nanomaterials fullerene and nanosilver in the polychaeta Laeonereis acuta (Nereididae) and in the bacteria communities living at their surface

Marques, Bianca Fell, Cordeiro, Lucas Freitas, Kist, Luiza Wilges, Bogo, Maurício Reis, López, Gerardo, Pagano, Gisela, Muratt, Diana Tomazi, de Carvalho, Leandro Machado, Külkamp-Guerreiro, Irene Cle

Journal:

Marine Environmental Research

Year:

2013

Language:

english

File:

PDF, 1.83 MB

english, 2013

45

Model checking LTL properties over ANSI-C programs with bounded traces

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis, Fischer, Bernd

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 967 KB

english, 2015

46

Clinical determinants and prognostic significance of the electrocardiographic strain pattern in chronic kidney disease patients

Cordeiro, Antonio C., Moraes, Aline A.I., Cerutti, Virginia, França, Faustino, Quiroga, Borja, Amodeo, Celso, Picotti, Juliano C., Dutra, Lucas V., Rodrigues, Gabriel D., Amparo, Fernanda C., Lindholm

Journal:

Journal of the American Society of Hypertension

Year:

2014

Language:

english

File:

PDF, 486 KB

english, 2014

47

Toxicity of fullerene and nanosilver nanomaterials against bacteria associated to the body surface of the estuarine worm Laeonereis acuta (Polychaeta, Nereididae)

Cordeiro, Lucas Freitas, Marques, Bianca Fell, Kist, Luiza Wilges, Bogo, Maurício Reis, López, Gerardo, Pagano, Gisela, Külkamp-Guerreiro, Irene Clemes, Monserrat, José Maria

Journal:

Marine Environmental Research

Year:

2014

Language:

english

File:

PDF, 10.10 MB

english, 2014

48

Antifungal susceptibility of emerging opportunistic yeasts and yeast-like fungi from Rhea americana

de Aguiar Cordeiro, Rossana, Pereira de Alencar, Lucas, Nogueira Brilhante, Raimunda Sâmia, de Souza Collares Maia Castelo-Bran, Débora, Cordeiro Teixeira, Carlos Eduardo, de Brito Macedo, Ramila, Tei

Journal:

Canadian Journal of Microbiology

Year:

2013

File:

PDF, 118 KB

2013

49

Applying symbolic bounded model checking to the 2012 RERS greybox challenge

Jeremy Morse,Lucas Cordeiro,Denis Nicole…

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 235 KB

english, 2014

50

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Year:

2010

Language:

english

File:

PDF, 240 KB

english, 2010